G. Priest; "An Introducton to Non-Classical Logic: From If to Is"